From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata

Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper we describe a single exponential translation from limit-deterministic B\"uchi automata (LDBA) to DPA, and show that it can be concatenated with a recent efficient translation from LTL to LDBA to yield a double exponential, \enquote{Safraless} LTL-to-DPA construction. We also report on an implementation, a comparison with the SPOT library, and performance on several sets of formulas, including instances from the 2016 SyntComp competition

Evaluating Depressive Symptoms in Schizophrenia: A Psychometric Comparison of the Calgary Depression Scale for Schizophrenia and the Hamilton Depression Rating Scale

Background: The aim of this study was to compare two measures of depression in patients with schizophrenia and schizophrenia spectrum disorder, including patients with delusional and schizoaffective disorder, to conclude implications for their application. Sampling and Methods: A total of 278 patients were assessed using the Calgary Depression Scale for Schizophrenia (CDSS) and the Hamilton Depression Rating Scale (HAMD-17). The Positive and Negative Syndrome Scale (PANSS) was also applied. At admission and discharge, a principal component analysis was performed with each depression scale. The two depression rating scales were furthermore compared using correlation and regression analyses. Results: Three factors were revealed for the CDSS and HAMD-17 factor component analysis. A very similar item loading was found for the CDSS at admission and discharge, whereas results of the loadings of the HAMD-17 items were less stable. The first two factors of the CDSS revealed correlations with positive, negative and general psychopathology. In contrast, multiple significant correlations were found for the HAMD-17 factors and the PANSS sub-scores. Multiple regression analyses demonstrated that the HAMD-17 accounted more for the positive and negative symptom domains than the CDSS. Conclusions:The present results suggest that compared to the HAMD-17, the CDSS is a more specific instrument to measure depressive symptoms in schizophrenia and schizophrenia spectrum disorder, especially in acutely ill patients. Copyright (c) 2012 S. Karger AG, Base

Low frequency of the TIRAP S180L polymorphism in Africa, and its potential role in malaria, sepsis, and leprosy

<p>Abstract</p> <p>Background</p> <p>The Toll-like receptors (TLRs) mediate innate immunity to various pathogens. A mutation (S180L) in the TLR downstream signal transducer <it>TIRAP </it>has recently been reported to be common in Europeans and Africans and to roughly half the risks of heterogeneous infectious diseases including malaria, tuberculosis, bacteremia, and invasive pneumococal disease in heterozygous mutation carriers.</p> <p>Methods</p> <p>We assessed the <it>TIRAP </it>S180L variant by melting curve and RFLP analysis in 1095 delivering women from malaria-endemic Ghana, as well as in a further 1114 individuals participating in case control studies on sepsis and leprosy in Germany, Turkey and Bangladesh.</p> <p>Results</p> <p>In Ghana, the <it>TIRAP </it>S180L polymorphism was virtually absent. In contrast, the mutation was observed among 26.6%, 32.9% and 12% of German, Bangladesh and Turkish controls, respectively. No significant association of the heterozygous genotype with sepsis or leprosy was observed. Remarkably, homozygous <it>TIRAP </it>180L tend to increase the risk of sepsis in the German study (<it>P </it>= 0.04).</p> <p>Conclusion</p> <p>A broad protective effect of <it>TIRAP </it>S180L against infectious diseases <it>per se </it>is not discernible.</p

Occipital gamma activation during Vipassana meditation

Long-term Vipassana meditators sat in meditation vs. a control rest (mind-wandering) state for 21 min in a counterbalanced design with spontaneous EEG recorded. Meditation state dynamics were measured with spectral decomposition of the last 6 min of the eyes-closed silent meditation compared to control state. Meditation was associated with a decrease in frontal delta (1–4 Hz) power, especially pronounced in those participants not reporting drowsiness during meditation. Relative increase in frontal theta (4–8 Hz) power was observed during meditation, as well as significantly increased parieto-occipital gamma (35–45 Hz) power, but no other state effects were found for the theta (4–8 Hz), alpha (8–12 Hz), or beta (12–25 Hz) bands. Alpha power was sensitive to condition order, and more experienced meditators exhibited no tendency toward enhanced alpha during meditation relative to the control task. All participants tended to exhibit decreased alpha in association with reported drowsiness. Cross-experimental session occipital gamma power was the greatest in meditators with a daily practice of 10+ years, and the meditation-related gamma power increase was similarly the strongest in such advanced practitioners. The findings suggest that long-term Vipassana meditation contributes to increased occipital gamma power related to long-term meditational expertise and enhanced sensory awareness

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal